Network configuration synthesis with abstract topologies
نویسندگان
چکیده
منابع مشابه
Network-Wide Configuration Synthesis
Computer networks are hard to manage. Given a set of highlevel requirements (e.g., reachability, security), operators have to manually figure out the individual configuration of potentially hundreds of devices running complex distributed protocols so that they, collectively, compute a compatible forwarding state. Not surprisingly, operators often make mistakes which lead to downtimes. To addres...
متن کاملNetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion
Network operators often need to adapt the configuration of a network in order to comply with changing routing policies. Evolving existing configurations, however, is a complex task as local changes can have unforeseen global effects. Not surprisingly, this often leads to mistakes that result in network downtimes. We present NetComplete, a system that assists operators in modifying existing netw...
متن کاملSynthesis with Abstract Examples
Interactive program synthesizers enable a user to communicate his/her intent via input-output examples. Unfortunately, such synthesizers only guarantee that the synthesized program is correct on the provided examples. A user that wishes to guarantee correctness for all possible inputs has to manually inspect the synthesized program, an error-prone and challenging task. We present a novel synthe...
متن کاملKinematic Synthesis with Configuration Spaces*
This paper presents two algorithms for kinematic synthesis of mechanisms . A mechanism is specified by its input and output motions . The algorithms determine a three dimensional structure of rigid parts that implements the given specification . Both algorithms are based on a new composition operation on configuration spaces . Both algorithms are efficient, constraint-satisfaction schemes that ...
متن کاملSuperpositional Quantum Network Topologies
We introduce superposition-based quantum networks composed of (i) the classical perceptron model of multilayered, feedforward neural networks and (ii) the algebraic model of evolving reticular quantum structures as described in quantum gravity. The main feature of this model is moving from particular neural topologies to a quantum metastructure which embodies many differing topological patterns...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM SIGPLAN Notices
سال: 2017
ISSN: 0362-1340,1558-1160
DOI: 10.1145/3140587.3062367